Canonical extension and canonicity via DCPO presentations
نویسنده
چکیده
The canonical extension of a lattice is in an essential way a two-sided completion. Domain theory, on the contrary, is primarily concerned with one-sided completeness. In this paper, we show two things. Firstly, that the canonical extension of a lattice can be given an asymmetric description in two stages: a free co-directed meet completion, followed by a completion by selected directed joins. Secondly, we show that the general techniques for dcpo presentations of dcpo algebras used in the second stage of the construction immediately give us the well-known canonicity result for bounded lattices with operators.
منابع مشابه
Canonical extensions and canonicity via dcpo presentations
The canonical extension of a lattice is in an essential way a two-sided completion. Domain theory, on the contrary, is primarily concerned with one-sided completeness. In this paper, we show two things. Firstly, that the canonical extension of a lattice can be given an asymmetric description in two stages: a free co-directed meet completion, followed by a completion by selected directed joins. ...
متن کاملCanonicity Effect on Sentence Processing of Persian-speaking Broca’s Patients
Introduction: Fundamental notions of mapping hypothesis and canonicity were scrutinized in Persian-speaking aphasics. Methods: To this end, the performance of four age-, education-, and gender matched Persian-speaking Broca's patients and eight matched healthy controls in diverse complex structures were compared via the conduction of two tasks of syntactic comprehension and grammaticality jud...
متن کاملCompleteness-via-canonicity for coalgebraic logics
This thesis aims to provide a suite of techniques to generate completeness results for coalgebraic logics with axioms of arbitrary rank. We have chosen to investigate the possibility to generalize what is arguably one of the most successful methods to prove completeness results in ‘classical’ modal logic, namely completeness-via-canonicity. This technique is particularly well-suited to a coalge...
متن کاملA Possible Extension of a Trial State in the TDHF Theory with Canonical Form in the Lipkin Model Canonicity conditions in an extended state of the su(2)-coherent state
With the aim of the extension of the TDHF theory in the canonical form in the Lipkin model, the trial state for the variation is constructed, which is an extension of the Slater determinant. The canonicity condition is imposed to formulate the variational approach in the canonical form. A possible solution of the canonicity condition is given and the zero-point fluctuation induced by the uncert...
متن کاملStudy of canonical extensions of BL-algebras
Canonical extensions of lattice ordered algebras provide an algebraic formulation of what is otherwise treated via topological duality or relational methods. They were firstly introduced by Jónsson and Tarski for Boolean algebras with operators (see [8] and [9]) and generalized for distributive lattices with different operations in [5], [4] and [3]. If A = (A, {fi, i ∈ I}) is a distributive lat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009